<html><head></head>
<body style="-webkit-user-select: none;">
This is some un-selectable text. Try finding a character in it
and verify that we don't crash.
</body>
</html>
